state graph

This dissertation propose two methods of Bi-directional DC-DC converter modeling and analysis, which are named as Modified State Space Averaged method ( MSSA) and novel Modified Switching signal Flow Graph method ( MSFG), and found the basic framework of the system analysis and design theory.

提出了双向DC-DC变换器的两种建模和分析方法：修正状态空间平均方法MSSA和新颖的开关信号流图统一建模与分析方法MSFG，建立了较完善的基础分析和系统设计理论体系。

Temporal Property Analysis of Discrete Event Systems Based on State Reachability Graph

基于状态可达图的离散事件系统时态性质分析

Network equations, which are associated with loop current method and suitable for computer aided analysis and calculation, are established by means of graph theory. The steady state branch currents of a three-phase induction machine with single-phase source supply are computed.

借助网络图论，用回路电流法列写了便于计算机辅助分析计算的网络方程，计算了单相电源供电的三相异步电机稳态运行时的各支路电流。

According to Bernoulli Equation of unsteady flow, the hydraulic calculation model of multi-source pipe network based on graph theory in slowly transient state is established, which can provide more information of hydraulic elements in slowly transient state.

根据非恒定流伯努利方程，建立的基于图论的多水源慢变流管网水力计算模型，可以提供更多的慢变流情况下的水力要素信息。

We analyze the system from several aspect: run with union fans, merit, natural wind pressure, angle-link structure, reliability and colligate state based on balance graph and so on.

包括风机联合运转分析、功耗分析、自然风压分析、角联结构分析、可靠性分析以及基于平衡图的综合状态分析等多个方面。

The following graph is the chart of the solder thermodynamic state.

下图是焊锡力平衡状态图。

The concept and algorithm of Reachable Task Graph for hierarchical colored Petri net are given in this paper. Finally, we analyze the running state of resource scheduling for grid computing using reachable task graph.

给出了层次颜色Petri网的可达任务图的概念及构造算法，并利用可达任务图，对网格计算资源调度系统的运行状态进行了分析。

A Method For Developing Multitask System ── Generalized State Graph Method

开发多任务系统的一种方法&广义状态图方法

So a certification management flow modeling is designed based on Petri-net'P/ T system. Its integrity is analysed by the theory of state reachability graph.

文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模，并用状态可达图理论对其系统的完备性进行了分析与证明。